#include "userlib.h"

int main(int argc, char* argv[])
{
    while (1)
    {
    }
    return(0);
}



